travis is way too slow...