Fix for 32 bit microcontrollers