Add INPUT_FILE and ifstream