fix rebuilds of devkitarm