Readded the mantrellet.js file as lib.mantrellet.js and changed file pointer to appropriate value in index.html