Added vmchecker+mozaic to projects