fix pyabc to link correctly on some linux version, fixing problem caused by the changeset named: Suggested changes to counting time in Abc_Clock()