Don't specify Python binary

coverage does the right thing when you point it at a python file
Fix Python interpreter binary names