update to latest jquery-ui, for compatibility with recent jquery