back to old declaration cuz of travis ci. But this is a bug and has to be fixed