<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
    Solved: the desktop laucher created by Burai makeLauncher.sh does
    not work.<br>
    You have to run directly burai.sh from Burai directory, or create
    your own shortcut.
  </body>
</html>