Add additional options for double dash command line options