change file name also in HTML ;-)