Veracrypt didn't exist back then and Truecrypt would only be 'deprecated' five years later. This was in 2010.

Personally I would've given up after a few months of trying to get a vulnerability fixed. Can't really blame them this got buried after five years.