close #4, now we have a hackish File structure to have the file opening working without runtime
and a csv version of the data file to work around the fact that json::decode for some reasons need the runtime too...