Also use batman's es5-shim