Add files required for boost