In fact, we do want jquery 1.9.1 for older devices.