Fix pre-gzipped source test (coverage too). Closes #1540, also #1524