changed to use the Travis CI