Prefer python2 to pure python if WITH_PYTHON was not specified