OK, I’ve updated our build procedure and it will be in tomorrow’s release. (Unless something surprising happens.)