Still trying to fix TravisCI support