doc/print_options: Fix build on mingw after 960aff379da46dcaff61504a57714d4d4e758e41