crappy hacks to disable pin code on x86 platforms while silencing gcc