I am looking through the documentation but I can't find how to adjust the Agda search path. It seems that by default it doesn't include the current directory. How to I change this? Cheers, Thorsten