add debian specific exports