Build #16:   Remove build dirs in CI scripts on branch HEAD 6 months ago