options: delete on process exit
Merge pull request #124 from pagespeed/jefftk-leak

options: delete on process exit