ARMbins/ is now valid for case-insensitive file systems