fix debian build system