Removing reference to obsoleted directory

It was causing an NPE on my Linux machine, and the directory doesn't
exist, anyway!