Fix for microloader, which was breaking the Chrome extension distribution.
Merge pull request #115 from arthurakay/ext5_upgrade

Fix for microloader