diff --git a/src/vs/code/browser/workbench/workbench.html b/src/vs/code/browser/workbench/workbench.html
index 832b6033bf7..92e4cba15f7 100644
--- a/src/vs/code/browser/workbench/workbench.html
+++ b/src/vs/code/browser/workbench/workbench.html
@@ -11,5 +11,11 @@
 	</body>
 
 	<!-- Startup via workbench.js -->
-	<script src="../../../../../out/vs/code/browser/workbench/workbench.js"></script>
+	<script>
+		self.CONNECTION_AUTH_TOKEN = '{{CONNECTION_AUTH_TOKEN}}';
+		self.USER_HOME_DIR = '{{USER_HOME_DIR}}';
+	</script>
+
+	<!-- Startup via workbench.js -->
+	<script src="./out/vs/code/browser/workbench/workbench.js"></script>
 </html>
\ No newline at end of file
diff --git a/src/vs/code/browser/workbench/workbench.js b/src/vs/code/browser/workbench/workbench.js
index 76e66c5c8d2..d20bee1092a 100644
--- a/src/vs/code/browser/workbench/workbench.js
+++ b/src/vs/code/browser/workbench/workbench.js
@@ -17,7 +17,7 @@
 		document.head.appendChild(script);
 	}
 
-	loadScript('../../../../../out/vs/loader.js', function () {
+	loadScript('./out/vs/loader.js', function () {
 
 		// @ts-ignore
 		require.config({