Why are COPR ARM builders so slow?