bugfix to work on ubuntu