fixup! Enable TravisCI