Perhaps this travis file will work.