Bump to version 0.8.7.2