This patch fixes a problem where the CREATE-EXECUTABLES-OP would fail
to update outdated executables.