Agda include paths are absolute