add load-path to agda standard library