Added utility to convert ACE files from ASCII to binary.