Got it. Thanks. In my case it didn't matter because my snapshots were created on AMD hardware so the Intel file was never created anyway.
@skidoo
Great. It seems it was last updated 5 years ago, so maybe patch once and never again? You already patched gksu, didn't you?
Not a serious bug, only annoying. The question is if upstream is responsive.