Accomodate postgres config options that were renamed in 9.3.