Update OS version check for Travis CI.