we do not need this
it is defined in vendor/crystal/products/crystal_ariesve.mk