MARVIN_HOME is now the home of marvin, not marvin/web