deb: Allow to specify different distros on the commandline