fix missing file extension