Correction of travisCI configuration for postgresql