another VFP fix for GCC