Fix bug in processing of command-line option.

Author: mkskeller

Processor/OfflineMachine.hpp

@@ -43,7 +43,10 @@ template<class W>
 template<class T, class U>
 int OfflineMachine<W>::run()
 {
-    T::clear::init_default(this->online_opts.prime_length());
+    if (this->online_opts.prime)
+        T::clear::init_field(this->online_opts.prime);
+    else
+        T::clear::init_default(this->online_opts.prime_length());
     Machine<T, U>::init_binary_domains(this->online_opts.security_parameter,
             this->get_lg2());
     auto binary_mac_key = read_generate_write_mac_key<