Fix the --smp, --tcg options properly this time.