Fix a problem when there is only a .mli for a module.

Signed-off-by: Jerome Maloberti <jmaloberti@gmail.com>