Same syntax as FILESNAME and FILESNAME_<file>, allows to install includes under a different name. Okay'd by christos.