fixing firefox launch script