Fix compiling for supertx

Change-Id: I0a067e89d544f72d7ce08b0e4cccb77c4c3c9497
2 files changed