Fixes for boot.sh