Eliminate unnecessary use of DIRECTORY_SEPARATOR

Per #219. (Or, rather, contra #219.)