install marvin anyway - no big overhead