Add /opt/local/include/db48 only if it exists.
Merge pull request #5395

4c69ebe Add /opt/local/include/db48 only if it exists. (Pavel Janík)