Fix issue #113: Test of file extension in @import statements.