fixed directory for agda-stdlib