Update agda src path