Nasty workaround for travis errors