additional fix for DE12
Merge pull request #225 from rackerjoe/DE12

Merged automatically by jenkins after successful gate test