Argh!!!!!
All this because I copied the wrong file!
I put a 1 MO file instead of a smaller one in the library, and everything went wrong. When I realized my mistake and replaced the file by a smaller one, everything went fine once again.
This however seems to be a strange feature (if not a bug)!
