Workaround for GCC bug described in http://lists.debian.org/debian-gcc/2003/09/msg00055.html Thanks to Graham Bennett.