minor: wrong arch type in debian package