OSDN Git Service

install_headers.sh: make more user friendly