Come hai fatto ad aggiornare alla versione 1.7.2? La versione per linux è ferma alla 1.7, dato che le versioni 1.7.1 e 1.7.2 sono solo per windows, dato che correggono due grossi bug emersi con questo SO