stubbed file manipulation in Utility specs