switch Agda from el-get to 'local disk load'