So *that's* why $HIST{FILE,}SIZE hasn't been working...