Try to fix Travis since it got broken by new builds