normalize case when comparing directory names (problem reported by

"Khalid A. B." on python-dev)