- random.hpp was only removed from actual include directory, but not from patches/files. - Files list generator didn't ignore config.h file which in fact is not needed.
- random.hpp was only removed from actual include directory, but not from patches/files. - Files list generator didn't ignore config.h file which in fact is not needed.