Added stuff for TravisCI