make agda lib dir system-dependent