linux-setup: use the same synaptic launcher on debian&ubuntu