stick with binary openlibm for now