Add a tiny input file