- Removed some libdiscmage getopt ugliness.
- Removed now redundant include directive.
Authored by: dbjh 2021-10-28
Parent: [r2886]
Child: [r2888]