Ehm, yes, of course… I completely forgot about it, thanks for reminding me. I must admit I did the upgrade a long time ago and did not remember hacking plain 7.5 after installing new ROMs, I thought it was necessary only for unsupported OSs , from 7.6 on.
So, it now works fine.