Here's the trick - all you need to do is activate red pill mode and you'll see the lib you mentioned. Install that, then install IPhome and you'll be laughing.