Upgrading to Solarus 1.3.0