Remove last vestiges of jquery-ui