9447 CTF 2014: add missing ‘booty’ binary