[arch-dev-public] gcc 4.5 bug - what to do?

Hi guys, Yesterday I had bug report on a segfaulting binary for x86_64 that ships with texlive-bin in testing: http://bugs.archlinux.org/task/20199 I have reported the bug upstream: https://sourceforge.net/tracker/?func=detail&aid=3031498&group_id=145640&atid=762580 and as suspected it turned out to be a bug with gcc 4.5: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45008 Now this means I have no means to include a working binary of dvisvgm for x86_64 in texlive-bin until that bug is resolved, since I cannot rely on gcc 4.4.x and no patch is available... What is the procedure you guys follow is such situations? F