trying installing agda from ubuntu utopic