Update agda-stdlib location.