Make $user_time, $mpd_elapsed and $mpd_length compatible with times_in_seconds
[monky] / text2c.sh
2008-12-14 Phil Sutteruse the builtin config also as a default one
2008-12-14 Phil Sutteradd missing text2c for config printing support