Using IR receiver with Picobricks for Micro:bit

Is anyone else having problems with the IR receiver for the Picobricks for Micro:bit? I have built Mars explorer and used the code provided but it is not responding to any button presses.

I have also set the below code up as a test and getting nothing whatsoever on the screen after the intial tick on turning it on.

Any assistance appreciated...