Fix agda version