Actually, my fault. They are used. If they are empty, gcc is used (the one currently invoked in host.py) and no vectorization (SIMD_ISA) is done.