fix shared_buffers for linux