don't pass argc in getopt32, it's superfluous