Still trying to fix the Travis config.