Bump version number to TinyMUX 2.12.0.2.