When using the built-in FFmpeg, try switching the profile to “MP4 openh264”, if I remember correctly it doesn’t support the x264 one. (It would be nice if this was made clear to users somehow, instead of being the default and throwing an empty error (there might be an error message in the mp4.log file, “Unknown encoder ‘libx264’”)…)