mustFileExist etc..