remove printf-debugging includes