Remove superfluous <stdio.h> header