fix for issue #445

copied two files from linux64 external directory to get past build error