open407toy: fix build