Do not redefine String.prototype if it has been already defined

This fixes #32