FIX: Makeobj for Linux compilation (Giuseppe)