This `travis` should probably be replaced with `$USER`, since the username is not guaranteed to always be `travis`.