bugfix: wrong pickup of linux distribution