Fix AVA4_OPTIONS for mining mode