made agda include paths variable into a list