tweaks to make the rpm build properly in f19 32 bits