  * Something went wrong in the build scripts. mosquitto never got installed, even though its links did. Strange.
  * Bump up the version number from 0.9.2 to 0.9.3 in the build scripts so that the builds actually show the right number.
