Fix mongo build -take 2

Summary: quick fix for now.  will figure out a better fix soon

Test Plan: build

Reviewers: sdong, igor, kradhakrishnan

Subscribers: dhruba, leveldb

Differential Revision: https://reviews.facebook.net/D42381

include/rocksdb/utilities/convenience.h

@@ -5,8 +5,7 @@
 
 #pragma once
 
-#include "utilities/pragma_error.h"
-
+// #include "utilities/pragma_error.h"
 // TODO(agiardullo):  need to figure out how to make this portable
 // ROCKSDB_WARNING("This file was moved to rocksdb/convenience.h")