rct2.c: port check_mutex().
rct2.c: port check_files_integrity().