Bump version to 1.4.2.5-3
Fix python-argcomplete tinkering, since the call to the command alters a file
owned by python-argcomplete, and which turns out to be unnecessary.
Resolves: #1781131
(cherry picked from commit caf81c2e0afbbb9f3b63ce096aec9be27e8e9e13)