Use --server PID instead of -a PID.

mintiest-server does not provide a short form of `-a PID` for its option `--server`, resulting in an unknown argument.