Added support for multiple aliases for Marvin, MarvinIP.