this is deprecated, since using getoptpp now.