Postgresql: reload after config change does not pick up certain configuration changes