fixes #9: Broken built-in type: path