Define BootingFromHc in bindists; fixes #3617