Modifications for Travis CI service