BugFix: development version had wrong "includes"