Perfecto, me ha funcionado. Para los que usan KDE os aviso que la aplicación predeterminada de gestión de archivos, Dolphin, tiene un terminal incorporado para hacer estos pasos pulsando F4. También aviso que yo no tengo el directorio /usr/lib64/ en mi ordenador (Kubuntu 18.04.2 LTS x86_64), el directorio de Opera en estos casos es /usr/lib/x86_64-linux-gnu/opera.
Un saludo!