Fixed Travis CI configuration file