Travis fix for sdcc and arm