dkdep: internal error, uncaught exception: Api.Files.Files_error(_)

[fblanqui]

09:09 /tmp l tests_OK_why3_quantifiers.dk 
def o : tests_OK_logic.U.
09:10 /tmp l tests_OK_logic.dk
U : Type.
09:10 /tmp dkdep.native -q -s tests_OK_why3_quantifiers.dk 
dkdep: internal error, uncaught exception:
       Api.Files.Files_error(_)