diff --git a/include.mk b/include.mk
index e398b63e57..edbbda9c61 100644
--- a/include.mk
+++ b/include.mk
@@ -5,7 +5,7 @@ UPSTREAM_BRANCH = origin/master
 
 BUILD_DIR = $(TOP)/.build
 K_NIGHTLY = $(BUILD_DIR)/nightly.tar.gz
-K_NIGHTLY_URL = https://github.com/kframework/k/releases/download/nightly-4375ba02b/nightly.tar.gz
+K_NIGHTLY_URL = https://github.com/kframework/k/releases/download/nightly-5efe34457/nightly.tar.gz
 K_DIST_DEFAULT = $(BUILD_DIR)/k
 K_DIST ?= $(K_DIST_DEFAULT)
 K_DIST_BIN = $(K_DIST)/bin
diff --git a/scripts/update-k-nightly-pr.sh b/scripts/update-k-nightly-pr.sh
index 3c43d7e9db..e41426f603 100755
--- a/scripts/update-k-nightly-pr.sh
+++ b/scripts/update-k-nightly-pr.sh
@@ -27,7 +27,7 @@ git add $TOP/include.mk
 
 git commit --message 'include.mk: update K nightly version'
 
-hub pull-request --push --force --head "$BRANCH_NAME" --base "$UPSTREAM_BRANCH" --reviewer ehildenb --file - <<MSG
+hub pull-request --push --force --head "$BRANCH_NAME" --base "$UPSTREAM_BRANCH" --reviewer vladciobanu --file - <<MSG
 Update K Nightly version used for integration testing
 
 PR generated by '$0'