try two of getting downloading kernels to work inside setup.py