second attempt to fix jenkins — arch64