todo-builder.sh does now look case-insensitiv and for @deprecated