Platform properly ignores top_bb

Fix #1776