Update Bitfiles

Use the bitfiles that Mathias created on Oct 22.