Fix headers required by helpers
Support c++11-only headers
Use emacs24 themes