Use temporary Travis workaround for C*