We need to do funky things to install more recent postgresql than the repo