fixing bug on debian