<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>