32c7a1ab78
I found the previous API confusing. Firstly, the parameter name was "filename" when we want a file path. Secondly, we take a `String` when we want a `Path`. Signed-off-by: Kévin Commaille <zecakeh@tedomum.fr>