The problem resolved itself in the course of the day. I worked on a copy and will now try to remember and patch all changes to the regular version. I fear that by just overwriting it with the copy of the app I worked on the shortcut on the phones of my 40+ users will not function anymore.