Fix mapped_device.js
Fix button.js
Update ev3.js