travis script that should work assuming ubuntu 13.10