Fix for getopt/shflags under OS X