Fixes include issue in shotodol_platform.h