Rename ws_stat to ws_stat64, and make it take a pointer to a ws_statb64