fix marvin install issues