(update Linux executable)