Benchmarking: Switch back to default -A512K for now.