Triton plugin: removed unnecessary include file from installation