Prevent multiple inclusion of the same file.