Tweak graphics/ipe version 7.1.2_1