small fix to build it in Debian