Removed as unneeded and also misc/aux gives problems when cloning on Windows