Killed off spurious <stdio.h> inclusion