Is builtins.readFile okay?