use gcc pragma to work around issue on ia32 builds