Fixed wrong name of tex file
Better use ant to build instead...