Travis fix

This should fix travis. I hacked it work until I really understand how to make it work.