Avoid generating man page and help section for printf (to fallback on system man page for printf)