Replaced -std=c++11 with -std=c++0x since some gcc versions don't support it and I don't think we use anyhting from it here