updated inclusion of porttime header only if portmidi library is going to build