Test that a getopt bug is successfully worked around
