Hello,
Thanks for the reply. Unfortunately, I don't have access to the server in order to make filesystem changes. I fixed it by going to the plugin management page and removing the existing plugin so the new one can install. It was a rather stressing thing to do since about 3000 students depend on that particular Moodle deployment but eventually it was a happy ending.
R.