Bug #10155

backup.pl doesn't compress database dump on non-MySQL-dumps