python executable is built.  (It still won't reflect builds of the
library only, but since the default make target builds the python
executable, that's alright.)