Patch pushed as bdbd9e504c4bccd1c267d13854c0dd6df732e436 with a fixed
version number (that I found in the asd file).
Thanks.