New package: ipe-7.1.5