fixes to virtualenv section

python-devel is needed for a coverage extension