Scripts and things for OpenMPI build on NVIDIA Jetson TK1