sphinxbase: update from 0.7 to 0.8