[Travis] The version of the distro is not hard coded