Make it actually portable
Fix Travis script