Bench: removed some unused headers