Fixes #5614: Make the error message clearer for duplicate technique id