Fix apt-get - wrong merge

This fixes issue #3277.