adapt virtuoso.ini path to .deb file layout