Patch to GNU indent