Bugfix release: fix install on ubuntu