support old JCov.options key in Javascript land