Fix gzip conflict on Ubuntu 12.04.x servers