* device/include/Makefile.in: fix install