Update source to 20130703 nightly.