Hard coding version in sphinx config

Ping #409.