Travis build file tweaks