Fix recent patch that caused make error