Print skipped arches to stderr instead of stdout