Fix pkg002 on Windows
Fix pkg002 on Windows

allDirs put in a slash at the top level. It should be behind the
drive letter on Windows

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm