Rename awktest to awktest.html