Added missing source code (required by driver scripts)