Change Travis CI settings for bug