parsing options with getopt()