Fixing travis-ci config