Per issue #8. Seeing if this allows files to be picked up by coverity.