adding files pulled from pinoccio module