No need for getopt as we're not using JCPP's main.