disable auto-abbreviation in GetOpt for swiftwrap (fixes bug 1359)