fixed problem preventing Agda from installing.