fdlibm xs compilation fixes