Fix symbol resolution of floating point libc builtins in MCJIT