Hopefully makes travis tests work