Ok, done with our Travis-CI script!