Use SDCC_PREFIX