Change truecrypt version to 7.1a