updated mysql from 1.2.4 to 1.2.5 (fixes setup problem with ubuntu)