Bug discovered in processing.js 1.4.7 and 1.4.8

The bug prevents touch events to be correctly translated to mouse events.
Processing.js 1.4.1 is used instead, which do not have this bug.