Era string.h lo que había que incluir. Corregido.
Corregido el problema con el fflush(stdin) en Linux.