specify a file