Add a hack to build_detect_platform so it works in all types of fb-servers