fix accidental change of openlibm commit in e07f4230c87f85de862ff28cef85ad09cd80d562