Plaid CTF 2014: add fail0verflow write-ups