Redmine#2278: get rid of pure_debian and pure_redhat again