Why have these in a separate file? They are just 3rdparty deps now. I had already moved them into 3rdparty/python:BUILD.