Add VecTcLab binaries