Fix for mkdir on windows
Fix for mkdir on windows

This should at least make it compile, but I have no way of testing it!

kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev