Modify travis.yml following Shyue's suggestion