Another adjusts in travis-ci script