Fixing missing ext.js files - or so I hope.