add debian 64bit test