Fix the gflags namespace issue

This works on Ubuntu 14.04 and should resolve #890.