Disable use of printf