go back to binary readline and openlibm