Gah, disable silly debug printf