avoid PHP warning message when checking non-existing disk file with function stat()