[fix] Really fix the travis-ci badge this time.