[player2] install additional header files