Fixes fig2dev build problem