Is this needed for non-HEAD builds?