Don't install ucsctools for now

to dodge weird wget hang issue