8086tiny: update to 1.25