Rename html5.js to html5shiv.js