fix make sync for 64bits