BKZParam belongs in bkz.h