Fixes #998: options for OOQP