update openlibm. fixes #3370