How to properly ventilate a compressor room: a guide for technicians