work around bug in Pyton argparse