std::vector<const char> apparently causes errors on gcc 4.6.3, so I made it non-const to get it to compile.