javascript: do not include jsbn if not needed