Proper local complete intersection morphisms preserve perfect complexes