[phenixbb] Question about precedence of command line parameters vs. .def file