Fix bug in FileExchange/FileExchange.v11.suo