Fixes Travis-CI for real... I think.