Add 4.01 with dbuenzli's no-compact-unwind patch.