Fix debian compilation