I fixed diaggui on pianosa. Previously, it was not able to start because it depended on libreadline5, whereas Ubuntu distributed libreadline6. Now pianosa has both libreadline5 and libreadline6, so diaggui works.