travis and linux fixes