Rename eiffelok.html to Eiffelok.html