Workaround for flash/cpp type check inconsistency