Build #41:   Fix archive files globbing for github release on branch v0.1.2 about 9 years ago