Use nicer require() for JSCast