Use proper version for getopt