Fix apparently missing stdio.h