You are using Xiaomi.eu, not the official ROM. Pre-Oreo devices have separate "Message received" setting. You have an Oreo/Pie ROM which means that on our ROMs you can set a custom notification sound for ANY app, not just Messaging. It's just located elsewhere:
Notifications & status bar -> App notifications -> Messaging -> Messages -> Custom sound
Enjoy.