gcc/libstdc++/config/elfshlibm.ml