Fix agda2-include-dirs. support sub directories