Fix build on current Rust master#2

ongardie wants to merge 1 commit intodocopt:masterdocopt/docopt.rs-old:masterfrom

ongardie:masterongardie/docopt.rs:masterCopy head branch name to clipboard