STM32L1xx Standard Peripheral Library hacked to work with gcc