update to new upstream release (v0.8.0), enabled when DEVELOPER=1