Fix openlibm-extras make options