attempt #1 on fixing Travis CI settings