Fixes to Travis settings