Upgrade to version v.0.3.27 of Whiley compiler.