Use built-in getopts until it's out of rustc