small debian build fix
small debian fix