fix minor bug on debian