fix undeclared identifier 'push_back' (closes: #2)