Modified Travis settings