add c++11 directive since the existing one does not seem to always get picked up