[PATCH] Fix debug statement in inftlcore.c