Fixed Travis-CI configuration file