Some fixes for big_red_button.py

sky/tools/big_red_button.py

Index: sky/tools/big_red_button.py
diff --git a/sky/tools/big_red_button.py b/sky/tools/big_red_button.py
index 3136a24db8c252e921f861f29dd05c7c6a1d9a5c..620133a03247505ee1e99130b7581ae281bde1d2 100644
--- a/sky/tools/big_red_button.py
+++ b/sky/tools/big_red_button.py
@@ -11,6 +11,7 @@
 import argparse
 import os
 import subprocess
+import sys
 
 DEFAULT_MOJO_ROOT = '/src/mojo/src'
 DEFAULT_SKY_SDK_ROOT = '/src/sky_sdk'
@@ -43,9 +44,9 @@ def main():
                         default=DEFAULT_DEMO_SITE_ROOT)
     args = parser.parse_args()
 
-    mojo_root = args.mojo_root
-    sky_sdk_root = args.sky_sdk_root
-    demo_site_root = args.demo_site_root
+    mojo_root = os.path.abspath(os.path.expanduser(args.mojo_root))
+    sky_sdk_root = os.path.abspath(os.path.expanduser(args.sky_sdk_root))
+    demo_site_root = os.path.abspath(os.path.expanduser(args.demo_site_root))
 
     # Derived paths:
     dart_sdk_root = os.path.join(mojo_root, 'third_party/dart-sdk/dart-sdk')