FIX: Bugfix in sfFileManager.class.php