A proper fix was applied to Vala in commit http://git.gnome.org/browse/vala/commit/?id=d44ecb80a702aad220f1091751ca19eadb21bc77
A proper fix was applied to Vala in commit http:// git.gnome. org/browse/ vala/commit/ ?id=d44ecb80a70 2aad220f1091751 ca19eadb21bc77