use psql for travis-ci