OPEC: Libyan output steady in October