#3108: Add html5shiv to make file.