Use proper name for Travis (though travis still fails)