diff --git a/criu/crtools.c b/criu/crtools.c
index f7b7864ca..39bc609eb 100644
--- a/criu/crtools.c
+++ b/criu/crtools.c
@@ -356,6 +356,7 @@ int main(int argc, char *argv[], char *envp[])
 		BOOL_OPT("remote", &opts.remote),
 		{ "config",			required_argument,	0, 1089},
 		{ "no-default-config",		no_argument,		0, 1090},
+		{ "ps-socket",			required_argument,	0, 1091},
 		{ },
 	};
 
@@ -684,6 +685,9 @@ int main(int argc, char *argv[], char *envp[])
 			break;
 		case 1090:
 			break;
+		case 1091:
+			opts.ps_socket = atoi(optarg);
+			break;
 		case 'V':
 			pr_msg("Version: %s\n", CRIU_VERSION);
 			if (strcmp(CRIU_GITID, "0"))