fix a build issue on debian