stdio_ext.h needs to include stdio.h, at least to get FILE...