Make sure to complain if users accidentally install the wrong ipk: https://github.com/robotpy/mostrobotpy/issues/118