Current Board VeriFast version added