Prevent small memory leak with non-empty argv0 #21