Work around debian bootstrap parsing oddity