填石路基用强力夯实施工时，填补夯坑的填料应选用（　）。