Fixes #3732: take technique version into account to decide if a directive is modified