Use lite versions of marvin