ghcjs: remove old-time
This attribute is no longer available
Matthew Bauer 7 years ago 340bc74a e0d1c631