vala 0.25.1 -> 0.25.3