bashrc: pgstart/pgstop now use the 9.3 database directory