I grabbed my GetBDD files from FAfx google code