Using minified JavaScript libraries