Extensions for getopt