Add vmlib binary