FileWrite.cpp: make explicit casts.