updated setup on ubuntu 12.04 to work again