Add correct binary file extension