get_file: must specify filename to get!