Repairing lack of 64bit linux build