nrf51_interrupts was really a C++ file