small fixes to get travis working maybe