Fix when-not-arm macro