Add more include paths to agda.