export v8 symbols correctly