hookup hotsot compilation

.