use compressed version of enormous file
(#601)