If I use the inbuilt GPS to set the time I get a 12 hour time format. Is there a way to set the time using the GPS and still have a 24 hour time format or do I have to set the time manually?.