Added missing file needed for issue #254.