021b801eb4
Use split() instead of substitute(), since the latter simply parses strings and doesn't understand the notion of path separators. Backslashes would be interpreted as beginning escape sequences. Using split() works around this problem. Closes #163.