2014-07-02: Size comparison: RandFill 1.1.0 vs. 1.2.x-devel