Attempt to fix a debian build problem