Fix problem MQTT gateway problem reported by @FotoFieber
For information on installing libraries, see: http://arduino.cc/en/Guide/Libraries