Debian build fix