#9: Modified Travis CI config.