#262: delete outdated jquery ui files