bugfix: file_exists