Fix #518: Closure sometimes eliminates all our exports.