Fix bug #108: useless require