Add correct vmmlib