Fix #143: add license to some src files