fix errors during update of ubuntu 17.10

Linux

admin Oct 23, 2017

After installing Ubuntu 17.10 and trying to update it, there may be errors about index files failing to…