Fix sed usage in jumpstart.sh