Make tboot install binaries in correct directory.