Safeguard against missing jquery-ui