explicitly add needed jquery.ui extensions. we don't need them all.