Remove some printf debugging in the Linux version.