don't use precompiled headers for now (wasn't seeing std::vector)