Fix tests after the deletion of the broken file