Travis build tweaks