Include the ptx file for testing