Fix Travis CI detection.