update to newer jquery ui; include source