fix a bug on debian