Slightly faster file i/o