5.1 and 5.0 share the same ABI, so instead of cluttering the list even more, just bump to 5.1 entirely.