maybe this fixes travis...?