minor: changed to gnu_getopt