Fix issue where the html5 archived lib would be renamed and therefore unusable by the installation