added workaround for makeindex bug:
makeindex won't accept an idx file that starts with dot