Thanks to roberto for providing pointers to wedge this into HEAD. Approved by: roberto
extern void getCmdOpts(int, char **);