p35: fix build?