Added Travis CI flag