Convert c files to read stdin