Symbola: bump from 7.17 to 7.18