Change non-stable properties of FileReader to defs