Why these didn't get updated during make dist is beyond me...