eddyb: yeah, we use shared V8 on Arch Linux ARM