to fix the travis build: 'ddef' should be 'def'