(make sure executables are current)