updated to 2013-05-10a Weatherwax

Updated to latest stable version available at this time, which is 2013-05-10a _Weatherwax_.