boost travis speed a bit