Fix for "Example GPIO fails to compile #6"

I have tested the GPIO example and the AxiFIFO example. This should cover the important use cases targeted by this fix.