SLIMERJSLAUNCHER should be set by the user, not by the script. So he can provide the binary he wants.