Use new quickjs version, which avoids jittering on touch