Validation is not working if other files included

[davidyuk]

--validate argument works fine if my contract doesn't have includes, but it fails if it has.

Includes.aes

include "Library.aes"

contract Includes =
    entrypoint test(x: int): int = Library.sum(x, 4)

Library.aes

namespace Library =
  function sum(x: int, y: int): int = x + y

$ aesophia_cli ./Includes.aes
cb_+JNGA6B51l49GY6JJ6qb/jroQydox6vWgqENgx/qdLdRje0rvsC4Zrg4/kTWRB8ANwA3ABoOgj8BAz/+TbeAOQI3AgcHBxQUAAIA/pKLIDYANwEHBwwDCAwBAAQDEU23gDmoLwMRRNZEHxFpbml0EU23gDkxLkxpYnJhcnkuc3VtEZKLIDYRdGVzdIIvAIU3LjAuMQBZCB3I
$ aesophia_cli ./Includes.aes --validate cb_+JNGA6B51l49GY6JJ6qb/jroQydox6vWgqENgx/qdLdRje0rvsC4Zrg4/kTWRB8ANwA3ABoOgj8BAz/+TbeAOQI3AgcHBxQUAAIA/pKLIDYANwEHBwwDCAwBAAQDEU23gDmoLwMRRNZEHxFpbml0EU23gDkxLkxpYnJhcnkuc3VtEZKLIDYRdGVzdIIvAIU3LjAuMQBZCB3I
Parse error at line 1, col 1:
Couldn't find include file 'Library.aes'

$ aesophia_cli --version
Sophia compiler version 7.0.1

[hanssv]

--validate seems to be missing the correct default include path