Interesting. I hadn't seen the update that there might not be a problem with it. Still, it's a strange thing for the developers to do...

I already had 7-Zip installed but I didn't know it could do file encryption! AES-256 is good enough for me. Thanks for the suggestion!

*edit*
Any reason not to trust that? I'd imagine that more eyes are on TrueCrypt, so perhaps that would be safer...?