Do not let getopt swap command line arguments on Linux