Avoid read-modify-write on shared counter (fixes compilation on DMD GIT master).
Bump version number to 0.7.20.
Merge branch '0.7.20'