Try a fix on Travis