fix setup file so that pypi distribution actually works..