chore(shell): include dreal header