copy file manually (no "install" target in twister's makefile)