Fix for c stdin read