Replace ufc -> ufc-deprecated (fixes issue #18).