Latest binaries with HoTT timing adjustment.