Add AREF stuff for Pinoccio