now we can load other included directories! (e.g. agda stdlib)