Pathname case messiness, differing between Java and Python urlization of path names, causes build to fail, hence this commit.