I think the `@` should be avoided if we're doing something strange and we don't want that PHP tells anything.
In this case, the `@` is necessary to avoid spurious output to stdout because of file-access errors (although everything should be fine since I tested with is_writeable...)