Should `$liblua51` have a default value in case the lookups fail?