OK, thanks.
I'm not sure which source couldn't find it.
I think it was either pisnes (which also couldn't find SDL at its default location) or mupen64plus-ricrpi (which uses a heavily Debian based build script and needed several edits).
Both are considered beta, I think, so tinkering when compiling can be expected.
I'll just keep in mind that some sources may search in different places.