More fixing of the remove source directory mess made by ExternalProject
Merge pull request #83 from eile/master

More fixing of the remove source directory mess made by ExternalProject