Merge #11971: fix man page; it's -OO not -O0

Patch by Lars Michelsen.