In test for #38, we should check the real file name as we have it :-).