Fixed linux compilation bug #152