chore(shell): include dreal header
chore(shell): include dreal header