Added simple stdio FILE wrapper.