Fixing travis-ci cfg