# Additional options for Alloy
ALLOY_OPTS="--disable-reporting"
