Remove unused variable
Do not verify output bitcode by default