Added wmain.c to wsrlua target