fix postgresql server setup: Travis CI supports it out of the box