Fixing travis-ci (hopefully) #2