builtins.readFile: realise context associated with the path