Conditionally add the debian repo