Can't use Gradle's Copy task because it won't preserve timestamps (which we need to avoid remaking executables).