adjust for latest devkitARM