My desktop is running Ubuntu 15.10, which has a newer (but not the newest) version of vips, containing a bug: it places the ImageProperties.xml file in gravures/imgxxx/imgxxx/ folder instead of one folder up, where it should be. Had to add a trap and fix for this in the Python script that calculates the tileset's highest zoom level.