fix wrong inclusion of files