Bug-fix: trailing slash on AWGDir is no longer necessary