Bump version for a release build + set -x

Change-Id: I69425cc206e6070093bb271607cd22ed695f7d28
diff --git a/VERSION b/VERSION
index 42cf067..f2380cc 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.15.2
+1.15.3