Fix replacing $HASTE_MAIN in the startup code given by --start option.