fix random test: missing header