Small tweaks for gcc issues
Adding cstdio for FILE* definition to keep readline happy