bigbang and kernel finally work on Windows again