Indeed the platforms available for ARCH_CMD are windows and unix, so just unix is good enough here, you don't need to add linux.