remove workaround `aeson` and `texmath`