XXX It's not clear to me whether liblua5.x.so and liblua5.x.so.5.0.x should be in the list too. I wish alternatives framework was documented ...