Port in changes from the 0.4.12 version, which I missed. makes revoco permanent and bumps version number. Also included minor version number bump to 0.4.12.1 for compiler bugfixes and contact info update.