Desktop file has now the correct name and is installable.