Fixed compilation bug; first integration test passes!