Fix VFP compilation errors with gcc