fixup! Issue #38: Update bootstrap to work with newest version of pungi