Fix bitfile to actually work