vle: switch to vle-1.3