if we use $FILE, it is very usefull to set it first

forgotten in commit abf6a0a2