So finally this has been fixed also in 18.04. I want to thank Steven Santos who called my attention to the problem as well as the solution.
So finally this has been fixed also in 18.04. I want to thank Steven Santos who called my attention to the problem as well as the solution.