proper shell commands in mac os x
update twelf location