update version numbers for 0.8.4