The reason I filed this bug is no longer relevant, because I added a patch to fix #733629 that doesn't require a cmake file. Hence it would probably be okay to tag this patch as wontfix. Best, Gert