Travis config file update (thanks to Florent from Level42)