Bugfix posix-wrapper: SET_FILENAME now records the filename if the file does not exist.