tell gcc not to complain about unused main() parameters