maybe this fixes travis