Arguments file
Travis tweaks