fixes for builds
fixes for builds

spqr33/easyloggingpp,simonhang/easyloggingpp,blankme/easyloggingpp,dreal-deps/easyloggingpp,hellowshinobu/easyloggingpp,arvidsson/easyloggingpp,spthaolt/easyloggingpp,dreal-deps/easyloggingpp,chenmusun/easyloggingpp,lisong521/easyloggingpp,blankme/easyloggingpp,chenmusun/easyloggingpp,simonhang/easyloggingpp,utiasASRL/easyloggingpp,utiasASRL/easyloggingpp,blankme/easyloggingpp,spqr33/easyloggingpp,lisong521/easyloggingpp,arvidsson/easyloggingpp,spthaolt/easyloggingpp,arvidsson/easyloggingpp,simonhang/easyloggingpp,chenmusun/easyloggingpp,lisong521/easyloggingpp,spqr33/easyloggingpp,dreal-deps/easyloggingpp,spthaolt/easyloggingpp,hellowshinobu/easyloggingpp,utiasASRL/easyloggingpp,hellowshinobu/easyloggingpp