Any reason not to use `$(<$FILE)` here instead of <code>&#96;cat $FILE&#96;</code>?