Update getopt.erl