"0.12" is just an example, it can be changed easily.

When several versions of Vala are installed at the same time, it is
easier to call directly the right binary.

It is useful for the Gentoo package for example.