fix build with tripndroid settings