jsonbind: from_file added