Fix HTML5 support in PiratePig