fix wrong travis-cl badget configuration