Ossification of the roof of the porus trigeminus with duplicated abducens nerve